Hanami backend/fi.aalto.cs.hanami.manualgrading

Package-level declarations

Types

data class ManualGradeDeliveryCommand(val submissions: SubmissionSource, val token: String, val target: ManualGradeTarget, val payload: ManualGradePayload)

Binds a grade payload to its A+ submission source and authenticated delivery context.

ManualGradePayload

data class ManualGradePayload(val points: Int, val maxPoints: Int, val feedbackHtml: String, val gradingData: String)

ManualGradePollingPolicy

data class ManualGradePollingPolicy(val recoveryAttempts: Int = 8, val confirmationAttempts: Int = 40, val intervalMillis: Long = 250, val deliveryLeaseMillis: Long)

Limits pending-delivery recovery and confirmation polling.

ManualGradeTarget

data class ManualGradeTarget(val courseId: Long, val exerciseId: Long, val submissionId: Long)

ManualGradingAdminService

class ManualGradingAdminService

Authenticates manual-grading administration requests and exposes capability maintenance.

ManualGradingCallbackRejectedException

class ManualGradingCallbackRejectedException(message: String) : ManualGradingDeliveryException

ManualGradingCapability

data class ManualGradingCapability(val registration: ManualGradingCapabilityRegistration, val state: ManualGradingState, val points: Int?, val maxPoints: Int?, val payloadDigest: String?)

ManualGradingCapabilityConflictException

class ManualGradingCapabilityConflictException(message: String) : ManualGradingException

ManualGradingCapabilityExpiredException

class ManualGradingCapabilityExpiredException(message: String) : ManualGradingException

ManualGradingCapabilityRegistration

@Serializable

data class ManualGradingCapabilityRegistration(val registrationKey: String, val courseId: Long, val exerciseId: Long, val submissionId: Long, val callbackUrl: String, val capability: String, val archiveSha256: String, val filename: String, val submitterIds: List<Long>, val origin: ManualGradingOrigin, val expiresAtMillis: Long)

ManualGradingCapabilityView

@Serializable

data class ManualGradingCapabilityView(val registrationKey: String, val courseId: Long, val exerciseId: Long, val submissionId: Long, val archiveSha256: String, val filename: String, val submitterIds: List<Long>, val origin: ManualGradingOrigin, val state: ManualGradingState, val expiresAtMillis: Long)

ManualGradingDeliveryException

open class ManualGradingDeliveryException(message: String) : ManualGradingException

ManualGradingDisabledException

class ManualGradingDisabledException : RuntimeException

ManualGradingException

sealed class ManualGradingException : RuntimeException

ManualGradingExerciseNotFoundException

class ManualGradingExerciseNotFoundException(exerciseId: Long) : RuntimeException

Indicates that no configured course owns the requested manual-grading exercise.

ManualGradingOrigin

enum ManualGradingOrigin : Enum<ManualGradingOrigin>

ManualGradingSecretException

class ManualGradingSecretException : RuntimeException

ManualGradingService

class ManualGradingService : AutoCloseable

Registers manual-grading capabilities and coordinates deferred grade delivery.

ManualGradingSettings

data class ManualGradingSettings(val registrationSecret: String, val encryptionKey: String, val callbackOrigins: Set<URI>, val connectTimeoutMillis: Long, val requestTimeoutMillis: Long, val socketTimeoutMillis: Long, val maxErrorBodyBytes: Int, val completedRetentionMillis: Long)

ManualGradingState

enum ManualGradingState : Enum<ManualGradingState>

Durable delivery state for a manual-grading capability.